package packageServer;


public class Carnivoro extends Dinosauro {

	//@requires id>0;
	public Carnivoro(int id) {
		super(id);
	}

	/**
	 *Calcola la forza attuale di un dinosauro di tipo carnivoro.
	 * 
	 * @return La forza calcolata del dinosauro.
	 */
	//@ensures \result>0;
	public int calcolaForza() {
		return 2*getEnergia()*getDimensione();
	}

}
